Catoids and modal convolution algebras

نویسندگان

چکیده

Abstract We show how modal quantales arise as convolution algebras $$Q^X$$ Q X of functions from catoids X , multisemigroups equipped with source and target maps, into value or weight Q . In the tradition boolean operators we study correspondences between algebraic laws in The introduced generalise Schweizer Sklar’s function systems single-set categories to structures isomorphic ternary relations, they are used for substructural logics. Our correspondence results support a generic construction weighted catoids. This is illustrated by many examples. also relate our reasoning stochastic matrices probabilistic predicate transformers.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Weighted Convolution Measure Algebras Characterized by Convolution Algebras

The weighted semigroup algebra Mb (S, w) is studied via its identification with Mb (S) together with a weighted algebra product *w so that (Mb (S, w), *) is isometrically isomorphic to (Mb (S), *w). This identification enables us to study the relation between regularity and amenability of Mb (S, w) and Mb (S), and improve some old results from discrete to general case.

متن کامل

weighted convolution measure algebras characterized by convolution algebras

the weighted semigroup algebra mb (s, w) is studied via its identification with mb (s) together with a weighted algebra product *w so that (mb (s, w), *) is isometrically isomorphic to (mb (s), *w). this identification enables us to study the relation between regularity and amenability of mb (s, w) and mb (s), and improve some old results from discrete to general case.

متن کامل

Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras

Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantalevalued functions relative to ternary relations. The resulting notion of relational convolution leads to generalised binary and unary modal operators for qualitative and quantitative models, and to more conventional variants, when ternary ...

متن کامل

Partial Semigroups and Convolution Algebras

Partial Semigroups are relevant to the foundations of quantum mechanics and combinatorics as well as to interval and separation logics. Convolution algebras can be understood either as algebras of generalised binary modalities over ternary Kripke frames, in particular over partial semigroups, or as algebras of quantale-valued functions which are equipped with a convolution-style operation of mu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Algebra Universalis

سال: 2023

ISSN: ['0002-5240', '1420-8911']

DOI: https://doi.org/10.1007/s00012-023-00805-9